Skip to content

Instantly share code, notes, and snippets.

@onlurking
onlurking / programming-as-theory-building.md
Last active March 7, 2026 01:02
Programming as Theory Building - Peter Naur

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

@wille-io
wille-io / gen8.md
Created May 15, 2025 20:53
Booting the HP ProLiant MicroServer Gen8

The Gen8 is a weird little box

It has no UEFI which is weird since UEFI was already pretty standard at the time the Gen8 was designed. Plus it is very picky with booting from USB. First it doesn't want to boot from the blue USB 3.0 ports. Second it only boots from USB devices formatted with MBR and where its first partition is FAT32 formatted with sector sizes not bigger than 16kb (Source: a 'reputable source' in the HP Community).

But now comes the worst characteristic about the Gen8. You can't change the boot order of the SATA devices. So if you use the ODD power cable (with an ODD to SATA adapter of course) and the "SATA ODD" port, you have a journey to go as the boot order is as follows: The leftmost drive, followed by the next 3 drives - and finally the device connected tot eh SATA ODD port. There's also a "CDROM Drive" boot order item in the boot order menu - but it doesn't boot the SATA ODD port, only if there's a real CDROM drive.

So what are the options?

The Gen8 has an internal USB port and

@yankuangxindaL4
yankuangxindaL4 / jetbra.in
Created February 26, 2026 12:15
jetbra.in HTTP ERROR 522
1. install ipfs desktop: https://github.com/ipfs/ipfs-desktop/releases
2. open ipfs-desktop and visit http://localhost:8080/ipns/3.jetbra.in in browser
2.1 or http://localhost:8080/ipfs/bafybeih65no5dklpqfe346wyeiak6wzemv5d7z2ya7nssdgwdz4xrmdu6i
1. use shadon search for 'Location: https://account.jetbrains.com/fls-auth' to find a active server
---
name: plan-exit-review
version: 2.0.0
description: |
Review a plan thoroughly before implementation. Challenges scope, reviews
architecture/code quality/tests/performance, and walks through issues
interactively with opinionated recommendations.
allowed-tools:
- Read
- Grep
@freshstylez
freshstylez / debloatNox.md
Created March 7, 2026 00:49 — forked from Log1x/debloatNox.md
Debloating & Optimizing Nox

Debloating Nox

Nox, despite being the most feature-filled Android emulator, has a lot of negativity surrounding it due to their antics when it comes to making income off of their program. It is known for running repeated advertisments in the background, calling home and passing along system information (outside of your Android instance) as well as a vast amount of potentially sensitive data in an encrypted payload back to their multitude of servers. With the following preventitive measures, we can stop a majority of this happening as well as greatly improve the overall performance.

  1. Download and Install a fresh copy of Nox. The latest version is fine (for now). If you already have it installed, that is fine too. No need to reinstall.

  2. Enable Root Mode on Nox by clicking the gear icon and then checking the Root Startup box.

  3. Install a new Launcher from the Play Store. ANYTHING but Nox's default. I suggest [Nova Launcher](https://play.google.com/s

@nitincoded
nitincoded / template-01.html
Created January 4, 2017 11:43
Template for simple crud
<!doctype html><html>
<head>
<!-- Latest compiled and minified CSS -->
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous">
<!-- Optional theme -->
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap-theme.min.css" integrity="sha384-rHyoN1iRsVXV4nD0JutlnGaslCJuC7uwjduW9SVrLvRYooPp2bWYgmgJQIXwl/Sp" crossorigin="anonymous">
<!-- Latest compiled and minified JavaScript -->
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-Tc5IQib027qvyjSMfHjOMaLkfuWVxZxUPnCJA7l2mCWNIpG9mGCD8wGNIcPD7Txa" crossorigin="anonymous"></script>
@PbtServers
PbtServers / build-gsi.sh
Created March 7, 2026 00:44 — forked from sandorex/build-gsi.sh
Script to build GSI AP file for odin
#!/bin/bash
# build-gsi.sh - https://gist.github.com/sandorex/031c006cc9f705c3640bad8d5b9d66d2
# other files needed:
# otatools-mini - https://mega.nz/file/TLgHDD6L#Kwxb04VoJDtXa6XLHxsxbHAIusXc0VHM12dqAbvRWlQ
# vbmeta.img - https://mega.nz/file/HGoGzC5J#VZUJ6n_GVCaGRzgaO2up0FhFx52swhcO0T6ewlUW5Mk
#
# Copyright 2023 Aleksandar Radivojevic (https://github.com/sandorex)
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
# associated documentation files (the "Software"), to deal in the Software without restriction,
@sandorex
sandorex / build-gsi.sh
Last active March 7, 2026 00:44
Script to build GSI AP file for odin
#!/bin/bash
# build-gsi.sh - https://gist.github.com/sandorex/031c006cc9f705c3640bad8d5b9d66d2
# other files needed:
# otatools-mini - https://mega.nz/file/TLgHDD6L#Kwxb04VoJDtXa6XLHxsxbHAIusXc0VHM12dqAbvRWlQ
# vbmeta.img - https://mega.nz/file/HGoGzC5J#VZUJ6n_GVCaGRzgaO2up0FhFx52swhcO0T6ewlUW5Mk
#
# Copyright 2023 Aleksandar Radivojevic (https://github.com/sandorex)
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
# associated documentation files (the "Software"), to deal in the Software without restriction,
@artemgetmann
artemgetmann / claude-code-token-saving-guide.md
Last active March 7, 2026 00:39
Practical workflow for reducing token usage in Claude Code while preserving session continuity. Includes compacting strategies, CLAUDE.md structure, modular context management, and prompt engineering tips.

🧠 How to Save Context Tokens When Using Claude Code

This is a personal reference workflow for minimizing token usage while maintaining project continuity across Claude Code (Sonnet 4 with file access).


✅ Setup: Populate CLAUDE.md

Claude loads CLAUDE.md automatically at session start.

using Microsoft.Extensions.Localization;
using System.Globalization;
namespace LTD.Web.AppStart.Localization
{
public interface ILtdStringLocalizer : IStringLocalizer
{
/// <summary>
/// Gets the string resource with the given name.
/// </summary>